type A = {
  [B]: (C)
}
